Fix hw_resend_irq() -- IRQ_PENDING must be propagated back
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 8 Aug 2005 09:12:22 +0000 (09:12 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 8 Aug 2005 09:12:22 +0000 (09:12 +0000)
commit9174fdfbfc3a340b4002d8eb71390d4cc203f1d6
tree0a0fbb4ca1166caf3a6e4cf6068694f7a6ae94a7
parent5175be99420813b64bbe6687d8225ccf25374375
Fix hw_resend_irq() -- IRQ_PENDING must be propagated back
to evtchn_pending[] bit during irq_enable, or the delayed
callback may never happen.
Signed-off-by: Keir Fraser <keir@xensource.com>
linux-2.6-xen-sparse/arch/xen/kernel/evtchn.c
linux-2.6-xen-sparse/include/asm-xen/asm-i386/hw_irq.h [new file with mode: 0644]
linux-2.6-xen-sparse/include/asm-xen/asm-x86_64/hw_irq.h [new file with mode: 0644]